<?php
        foreach ($Infos as $key => $value)
        {
            echo $key . ": " . $value . "\n";
        }
  ?>